step(ci,r,tm(s,[ctxm(beta_1_2_,ci,ip, (ip,ci), (ip,ci)),ctxm(beta_1_2_,r,ip, (ip,r), (ip,r))],pri(lst,[pri(pc,[ctxm(beta_1_2_,dot,s,i_s,c_s),pri(enc,[pri(pc,[ctxm(beta_1_2_,dot,s,i_s,c_s),pri(enc,[ctxm(beta_1_2_,u,bsn,i_bsn,i_bsn),ctxm(beta_1_2_,dot,s_umc, (i,s_umc), (c,s_umc))]),ctxm(beta_1_2_,ci,dom, (dom,ci), (dom,ci))]),ctxm(beta_1_2_,r,sr, (i,s,beta_1_), (c,s,beta_1_))]),ctxm(beta_1_2_,r,dom, (dom,r,beta_1_), (dom,r,beta_1_))]),ctxm(beta_1_2_,u,d_1, (i,d_1), (c,d_1)),ctxm(beta_1_2_,u,d_4, (i,d_4), (c,d_4))]))).
